PERFECT – Conclusions and future developments

Conclusions and future perspectives

Conclusions and Future Work

This chapter will summarize the results obtained in the thesis, point out possible applications and directions for future research. The chapters will be treated in order of apparence if possible (some topics aaect more than one chapter). The introduction treats model-based coding, which is a technique to code image sequences at very low rates. The focus is set on face sequences, where two unre-...

7 Conclusions and Future Work

Therefore, the monotonicity of hypotheses can be stated as a requirement because it follows from the specification of the domain knowledge. If a requirement cannot be derived from the domain knowledge it must be stated as an assumption. In our example, the requirement ∃ x (x ∈ observables) cannot be derived from the domain knowledge because it is concerned with the input. However, assuming an i...

5 Conclusions and Future Work

The paper presented rule contexts as a mechanism for dynamically grouping rules. Rules are activated into contexts and are deactivated from contexts. When a context is activated it enables all its rules for monitoring. In deactivated contexts all the rules are disabled from being monitored. Events are only monitored if they are referenced from some rule in an active context. Contexts are used t...

8 Conclusions and Future Work

[5] M. Mutz. Using the HOL theorem proving environment for proving the correctness of term rewriting rules reducing terms of sequential behavior. and automating hardware proofs in a higher-order theorem-proving environment. In this paper, an approach to the formal synthesis of verification-friendly hardware structures has been presented. Having applied standard scheduling and allocation algorit...